#ifndef __TIMER_H__
#define __TIMER_H__

void sched_clock_timer_init(void);
void seos_timer_init(void);
bool platSleepClockRequest(uint64_t wakeupTime, uint32_t maxJitterPpm, uint32_t maxDriftPpm, uint32_t maxErrTotalPpm);
#endif












